Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
91	Introduction to Type Theory Herman Geuvers Radboud University Nijmegen, The Netherlands Technical University Eindhoven, The Netherlands 1 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-23 10:50:36 Mathematics Mathematical logic Theoretical computer science Computability theory Proof theory Logic in computer science Type theory Logic programming Lambda calculus CurryHoward correspondence Substitution Generalised Whitehead product
92	Remarks on simple proofs Rosalie Iemhoff∗ March 15, 2015 Abstract This note consists of a collection of observations on the notion of simplicity in the setting of proofs. It discusses its properties under formalization Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2015-04-01 09:58:14 Logic Mathematics Abstraction Proof theory Mathematical proofs Formal languages Formal systems Logical truth Theorem Elementary proof Mathematical logic Proof
93	“THE HOMOTOPY TYPE OF THE COBORDISM CATEGORY” PROPOSAL FOR A SEMINAR PROGRAM WINTERSEMESTERThe main aim of the seminar will be to understand the main theorem in [GMTW07] and its proof. Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2007-11-15 04:50:26 Topology Abstract algebra Algebra Algebraic topology Surgery theory Homotopy theory Differential topology Sheaf theory Sheaf Cobordism Differentiable manifold H-cobordism
94	16-2 E&U first proof Add to Reading List Source URL: sasdialliance.org.za Language: English - Date: 2013-04-13 12:44:47 Land management Marxist theory Land reform Homelessness South African property law Structure Economy Law
95	A Note on Boundary Constraints for Linear Variational Surface Design Andrew Nealen TU Berlin Abstract This note presents a proof for the subspace property of linear variational methods for fair surface design. Specifical Add to Reading List Source URL: igl.ethz.ch Language: English - Date: 2011-02-07 08:46:08 Algebra Mathematics Matrices Linear algebra Algebraic graph theory Operator theory Functional analysis Laplacian matrix Matrix Linear subspace Collinearity
96	LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Theoretical computer science Mathematical logic Logic in computer science Automated theorem proving Proof assistants Formal methods Type theory Isabelle First-order logic Logic for Computable Functions Unification HOL
97	Issues in Multimedia Authoring Lecture 10: Limitations of Computers Keith Douglas Summary Add to Reading List Source URL: philosopher-animal.com Language: English - Date: 2007-04-18 22:48:16 Mathematics Theoretical computer science Theory of computation Structural complexity theory Computability theory Halting problem Mathematical proof Undecidable problem Negation Reductio ad absurdum Reduction Square root of 2
98	ERRATA FOR “CANONICAL SUBGROUPS VIA BREUIL-KISIN MODULES” SHIN HATTORI The proof of [1, Propositionis incorrect. In page 950 line 1–2, the author claims that the assertion (2) of the proposition is deduce Add to Reading List Source URL: www2.math.kyushu-u.ac.jp Language: English - Date: 2015-05-02 05:24:57 Algebra Abstract algebra Mathematics Finite groups Group theory Frobenius group Index of a subgroup Homological algebra Algebraic number theory Representation theory of finite groups Isomorphism theorem
99	The purpose of this note is to further generalize the smoothness framework by Roughgarden [7], in order to provide a unified proof for many existing price-of-anarchy results. 1 Bounds on the Price of Anarchy A strategic Add to Reading List Source URL: florian-schoppmann.net Language: English - Date: 2016-03-04 03:20:15 Game theory Congestion game Mathematics Nash equilibrium Price of anarchy Mathematical analysis

UPDATE